41. A 25-Year perspective on logic programming
Author: / Agostino Dovier, Enrico Pontelli (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Italian Association for Logic Programming,Logic programming
Classification :
QA76
.
63
.
T84
2010
42. A beginner's guide to Programming logic and design
Author: Farrell, Joyce.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Logic programming,، Logic design
Classification :
QA
76
.
63
.
F37
43. A commentary on Hegel's Logic
Author: John M. E. Mc Taggart
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Hegel, George wilhelm Friedrich, 1770-1831
44. A commentary to Hegel's Science of logic
Author: Carlson, David )David Gray(
Library: Library of Mofid University (Qom)
Subject: ، Hegel, Georg Wilhelm Friedrich,0771-1381.Wissenschaft der Logik,، Logic,، Kommentar
Classification :
B2942
.
Z7
C37
2007
45. A commentary to Hegel's Science of logic
Author: / David Gray Carlson.,کارلسون,Carlson
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: هگل، گئورگ ویلهلم فریدریش، ۱۷۷۰ - ۱۸۳۱م, . علم منطق,منطق
Classification :
B
۲۹۴۲
/
ی
۷
ک
۲ ۱۳۸۶
46. A commentary to Hegel's Science of logic
Author: Carlson, David Gray
Library: Special Library of University of Religions (Qom)
Subject: ، Hegel, Georg Wilhelm Friedrich, 0771-1381. Wissenschaft der Logik,، Logic
Classification :
B
2942
.
Z7
.
C37
2006
47. A companion to modal logic /
Author: G.E. Hughes, M.J. Cresswell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modality (Logic)
Classification :
BC199
.
M6
H795
1984
48. A companion to philosophical logic
Author: edited by Dale Jacquette
Library: Special Library of University of Religions (Qom)
Subject: ، Logic
Classification :
BC
71
.
C65
2002
49. A companion to philosophical logic
Author: / edited by Dale Jacquette
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic.
Classification :
BC
,
71
,.
C65
,
2002
50. A companion to philosophical logic
Author: detide yb elaD etteuqcaJ
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
71
.
A36
2002
51. A companion to philosophical logic
پدیدآورنده :
موضوع : ، Logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. A companion to philosophical logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic. ;
53. A companion to philosophical logic
Author: / edited by Dale Jacquette
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC71
.
C65
2002
54. A companion to philosophical logic
Author: edited by Dale Jacquette
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
BC
71
.
C656
55. A companion to philosophical logic /
Author: edited by Dale Jacquette.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.
Classification :
BC71
.
C65
2002eb
56. A companion to philosophical logic
Author: detide yb elaD etteuqcaJ
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
71
.
C6
2007
57. A companion to philosophical logic
Author: / edited by Dale Jacquette
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC71
.
C65
2002
58. A computational logic /
Author: Boyer, Robert S., Robert S. Boyer and J Strother Moore
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96
B68
59. A computational logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving. ;
60. A computational logic
Author: / Robert S. Boyer and J. Strother Moore
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving
Classification :
QA
,
76
.
9
,.
A96
,
B68
